'a * 'e -> 'b
